#include "gpio.h"

void write_gpio(uint32_t gpio, uint32_t level)
{
	
}

uint32_t read_gpio(uint32_t gpio)
{
	return 0;
}
